.
|
Publication type:
Book
Tilte:
Logic for information technology
Author(s):
Antony
Galton
(Author),
Publication Data: Chichester:
John Wiley and Sons
Publication Year: 1990
ISBN: 0-471-92933-6
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
How to read and do proofs : an introduction to mathematical thought processes
Author(s):
Daniel
Solow
(Author),
Publication Data: New York:
John Wiley & Sons
Publication Year: 1990
Edition: 2nd ed.
ISBN: 0-471-51004-1
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Elements of the theory of computation
Author(s):
Harry R.
Lewis
(Author),
Christos H.
Papadimitriou
(Author),
Publication Data: Englewood Cliffs, New Jersey:
Prentice-Hall, Inc.
Publication Year: 1981
Call Number: 511.3 LEW
ISBN: 0-13-273417-6
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Logic for computer science : foundations of automatic theorem proving
Author(s):
Jean H.
Gallier
(Author),
Publication Data: New York:
John Wiley & Sons
Publication Year: 1986
ISBN: 0-471-61546-3
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Theory of computation
Author(s):
Derick
Wood
(Author),
Publication Data: New York:
John Wiley & Sons
Publication Year: 1987
Call Number: 511.3 WOO
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Logic for mathematicians
Author(s):
A. G.
Hamilton
(Author),
Publication Data: Cambridge:
Cambridge University Press
Publication Year: 1978
ISBN: 0-521-21838-1 0-521-29291-3
Copie(s) info.:
● Total number of Copie(s):2
|
.
|
Publication type:
Book
Tilte:
Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author(s):
Y. N.
Moschovakis
(ed.),
Publication Data: New York:
Springer-Verlag
Publication Year: 1991
ISBN: 0-387-97667-1
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Fuzzy sets and fuzzy logic : theory and applications
Author(s):
George J.
Klir
(Author),
Bo
Yuan
(Author),
Publication Data: Upper Saddle River, New Jersey:
Prentice-Hall
Publication Year: 1995
ISBN: 0-13-101171-5
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
logic and its applications
Author(s):
Edmund
Burke
(Author),
Eric
Foxley
(Author),
Publication Data: London:
Prentice-Hall
Publication Year: 1996
ISBN: 0-13-030263-5
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to the theory of finite-state machines
Author(s):
Arthur
Gill
Publication Data: N.Y.:
McGraw-Hill
Publication Year: 1962
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Elements of the theory of computation
Author(s):
Harry R.
Lewis
(Author),
Christos H.
Papadimitriou
(Author),
Publication Data: Upper Saddle River, New Jersey:
Prentice Hall
Publication Year: 1998
Edition: 2nd ed.
ISBN: 0-13-262478-8
Copie(s) info.:
● Total number of Copie(s):11
|
.
|
Publication type:
Book
Tilte:
Languages and machines : an introduction to the theory of computer science
Author(s):
Thomas A.
Sudkamp
(Author),
Publication Data: Reading, Massachusetts:
Addison-Wesley
Publication Year: 1997
Edition: 2nd ed.
ISBN: 0-201-82136-2
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to languages and the theory of computation
Author(s):
John C.
Martin
Publication Data: New York:
The McGraw - Hill Companies
Publication Year: 1996
Edition: 2nd ed.
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
A first course in formal language theory
Author(s):
V. J.
Rayward-Smith
(Author),
Publication Data: London:
McGraw-Hill Book Company
Publication Year: 1995
Edition: 2nd ed.
ISBN: 0-07-709245-7
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to the theory of computation
Author(s):
Michael
Sipser
(Author),
Publication Data: Boston:
PWS Publishing Company
Publication Year: 1996
ISBN: 0-534-94728-X
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to languages and the theory of computation
Author(s):
John C.
Martin
(Author),
Publication Data: Boston:
McGraw-Hill
Publication Year: 2003
Edition: 3rd ed.
ISBN: 0-07-119854-7 0-07-232200-4
Copie(s) info.:
● Total number of Copie(s):3
|
.
|
Publication type:
Book
Tilte:
How to read and do proofs : an introduction to mathematical thought processes
Author(s):
Daniel
Solow
(Author),
Publication Data: New York:
John Wiley & Sons, Inc.
Publication Year: 2002
Edition: 3rd ed.
Call Number: 511.3 SOL
ISBN: 0471453005
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Elements of logic via numbers and sets
Author(s):
D. L.
Johnson
(Author),
Publication Data: London:
Springer
Publication Year: 1998
Call Number: 511.3 JOH
ISBN: 3-540-76123-3
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
An introduction to mathematical reasoning : numbers, sets, and functions
Author(s):
Peter J.
Eccles
(Author),
Publication Data: Cambridge:
Cambridge University Press
Publication Year: 1997
Call Number: 511.3 ECC
ISBN: 0-521-59718-8
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to the theory of computation
Author(s):
Michael
Sipser
(Author),
Publication Data: Boston:
Thomson Course Technology
Publication Year: 2006
Edition: 2nd ed.
Call Number: 511.3 SIP
ISBN: 0-619-21764-2
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to languages and the theory of computation
Author(s):
John C.
Martin
(Author),
Publication Data: New Delhi:
Tata McGraw Hill Education
Publication Year: 2013 (reprint)
Edition: 3rd ed. , special Indian ed.
ISBN: 978-0-07-066048-9
Copie(s) info.:
● Total number of Copie(s):2
|
.
|
Publication type:
Book
Tilte:
Introduction to the theory of computation
Author(s):
Michael
Sipser
(Author),
Publication Data: Boston,MA:
Cengae Learning
Publication Year: 2013
Edition: 3rd ed. (International ed.)
Call Number: 511.3 SIP
ISBN: 978-1-133-18781-3
Copie(s) info.:
● Total number of Copie(s):1
|
.
|
Publication type:
Book
Tilte:
Introduction to theory of computation
Author(s):
Bikash Kanti
Sarkar
(Author),
Ambuj
Kumar
(Author),
Publication Data: Telangana:
University Press
Publication Year: 2019
Call Number: 511.3 SAR
ISBN: 978-93-86235-75-6
Copie(s) info.:
● Total number of Copie(s):2
|
.
|
Publication type:
Book
Tilte:
Elementary symbolic logic
Author(s):
William
Gustason
(Author),
Dolph E.
Ulrich
(Author),
Publication Data: New York:
Holt, Rinehart and winston, Inc.
Publication Year: 1973
Call Number: 511.3 GUS
ISBN: 0-03-004616-5
Copie(s) info.:
● Total number of Copie(s):1
|
Retrieved Title(s):24